Logische Symbole nennt man Ausdruckselemente formaler Sprachen. Dazu gehören Namen, Variablen für Individuen und Urteile, logische Konstanten. Aus diesen Bausteinen werden die wohlgeformten Formeln einer Sprache konstruiert.
Gefunden auf
https://www.enzyklo.de/Lokal/40015
Subst. (logic symbol) Ein Symbol, das einen logischen Operator darstellt, z.B. AND oder OR. Das Symbol + in der Booleschen Algebra stellt z.B. das logische OR (Oder) dar, wie in A + B (gelesen »A OR B« und nicht »A plus B«).
Gefunden auf
https://www.enzyklo.de/Lokal/40099
Keine exakte Übereinkunft gefunden.
